automatic design verification

автоматична верифікація проекту (ІС)

English-Ukrainian dictionary of microelectronics. 2013.

Смотреть что такое "automatic design verification" в других словарях:

  • Design Rationale — In the survey on design rationale (DR) for software engineering [Jarczyk, Loffler Shipman, Design Rationale for Software Engineering: A Survey] the authors give a very clear definition to design rationale, it is “the explicit listing of decisions …   Wikipedia

  • Design rationale — A Decision Based Design Structure, which spans the areas of Engineering Design, Design Rationale and Decision Analysis. A Design Rationale is an explicit documentation of the reasons behind decisions made when designing a system or artifact. As… …   Wikipedia

  • Design for testing — Design for Test (aka Design for Testability or DFT ) is a name for design techniques that add certain testability features to a microelectronic hardware product design. The premise of the added features is that they make it easier to develop and… …   Wikipedia

  • Design For Test — (aka Design for Testability or DFT ) is a name for design techniques that add certain testability features to a microelectronic hardware product design. The premise of the added features is that they make it easier to develop and apply… …   Wikipedia

  • Design closure — is the process by which a VLSI design is modified from its initial description to meet a growing list of design constraints and objectives. Every step in the IC design (such as static timing analysis, placement, routing, and so on) is already… …   Wikipedia

  • Design by contract — (DbC) or Programming by Contract is an approach to designing computer software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary… …   Wikipedia

  • Automatic dependent surveillance-broadcast — (ADS B) is a cooperative surveillance technique for air traffic control and related applications. An ADS B out equipped aircraft determines its own position using a global navigation satellite system and periodically broadcasts this position and… …   Wikipedia

  • Automatic number plate recognition — The system must be able to deal with different styles of license plates …   Wikipedia

  • Electronic design automation — (EDA) is the category of tools for designing and producing electronic systems ranging from printed circuit boards (PCBs) to integrated circuits. This is sometimes referred to as ECAD (electronic computer aided design) or just CAD. (Printed… …   Wikipedia

  • Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these …   Wikipedia

  • Cadence Design Systems — Infobox Company company name = Cadence Design Systems, Inc. company company type = Public foundation = 1988 location = San Jose, California key people = Mike Fister, President/CEO num employees = 5,200 (2006) [… …   Wikipedia

Книги

Другие книги по запросу «automatic design verification» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.